Search results for "Semantics of logic"
showing 2 items of 2 documents
Run-time profiling of functional logic programs
2005
In this work, we introduce a profiling scheme for modern functional logic languages covering notions like laziness, sharing, and non-determinism. Firstly, we instrument a natural (big-step) semantics in order to associate a symbolic cost to each basic operation (e.g., variable updates, function unfoldings, case evaluations). While this cost semantics provides a formal basis to analyze the cost of a computation, the implementation of a cost-augmented interpreter based on it would introduce a huge overhead. Therefore, we also introduce a sound transformation that instruments a program such that its execution—under the standard semantics—yields not only the corresponding results but also the a…
Knowledge Acquisition Based on Semantic Balance of Internal and External Knowledge
1999
This paper presents a strategy to handle incomplete knowledge during acquisition process. The goal of this research is to develop formal tools that benefit the law of semantic balance. The assumption is used that a situation inside the object’s boundary in some world should be in balance with a situation outside it. It means that continuous cognition of an object aspires to a complete knowledge about it and knowledge about internal structure of the object will be in balance with knowledge about relationships of the object with other objects in its environment. It is supposed that one way to discover incompleteness of knowledge about some object is to measure and compare knowledge about its …